Skunkware 5/Skunkware 5.iso/tls/tls029.1.Z/tls029.1/systems/409

Text File | 1994-04-19 | 1.8 KB | 36 lines

AdaMAT - Dynamics Research Corp.

KEYWORDS: performance analysis, profiler and optimizer, development aid, QA Testing Software                     , 508

Ada Source Code Static Analyzer

AdaMAT is a comprehensive source code static analyzer that reports on hundreds
of Ada-specific quality metrics. The metrics focus on the most effective use of
the Ada language and adherence to long-standing software quality engineering
principles. Using a simplified user-interface, AdaMAT analyzes Ada source code
and the measurements are output into detailed reports that indicate the quality
of the code by indicating the level of adherence to key Ada quality practices.
An annotated source code listing is also produced allowing users to identify
specific source lines that exhibit non-adherence to the selected metrics.
High-level parameters measure such areas as reliability, portability, and
maintainability. Other metrics address specific programming concerns such as
simplicity, modularity, self-descriptiveness, exactness, clarity, and
independence. AdaMat utilizes DIANA-based metrics to measure exactness and
modularity. This semantic analysis facilitates the collection and reporting of
information across modules. AdaMAT includes Cyclomatic Complexity Measurements
(CCM) to identify Ada modules that exceed a user-determined threshold for the
maximum allowable number of paths through a module. Additionally, a related
metric -Multiple Condition Cyclomatic Complexity- considers multiple conditions
in an expression and regards each condition as a possible test case

The tool is extremely tailorable, allowing the user to designate any of the
metrics ``reportable'' or ``non-reportable'', set reportables thresholds for
metrics, or to give any metric a weighted value.



Dynamics Research Corp.
Tel: [phone]
Fax: [phone]
Wid Spaulding